close a file